Home

and(ket1, ket2)
returns |yes> if ket1 and ket2 are |yes>, |no> otherwise.
now implemented as: ( ket1 && ket2 ) 

and(|yes>, |yes>)
    |yes>

and(|yes>, |no>)
    |no>

and(|no>, |no>)
    |no>